Solutions to the Language Equation Lb = Al
نویسندگان
چکیده
In this paper, solutions of the equation LB = AL in the monoid of languages are considered. Characterizations of words u, v and languages A, B which satisfy uA = Bu or Au = vA are obtained. For a language L, properties of a submonoid of the monoid of languages and a congruence defined on this submonoid related to the equation LB = AL are concerned in this paper.
منابع مشابه
Solutions of Word Equations Over Partially Commutative Structures
We give NSPACE(n logn) algorithms solving the following decision problems.Satisfiability: Is the given equation over a free partially commutative monoid with involution(resp. a free partially commutative group) solvable? Finiteness: Are there only finitely manysolutions of such an equation? PSPACE algorithms with worse complexities for the first problemare known, but so far, a P...
متن کاملApplication of the new extended (G'/G) -expansion method to find exact solutions for nonlinear partial differential equation
In recent years, numerous approaches have been utilized for finding the exact solutions to nonlinear partial differential equations. One such method is known as the new extended (G'/G)-expansion method and was proposed by Roshid et al. In this paper, we apply this method and achieve exact solutions to nonlinear partial differential equations (NLPDEs), namely the Benjamin-Ono equation. It is est...
متن کاملThe Grand Challenge in Non-Classical Computation International Workshop
In response to the grand challenge for computer science during a workshop held inEdinburgh in November 2002 we identified an essential problem in computing that hasyet to be addressed directly, see Appendix A for UKCRC Grand Challenge criteria(Addis et al., 2004). We show that this problem, originally identified by Wittgensteincirca 1945 (pub. posthumously, revised translation 1...
متن کاملNonlinear Degenerate Diffusion Problems
Self similar solutions u(x,t) = f(x//t) of the one-dimensional porousmedium equation are studied in this paper. These solutions emerge frominitial values that consist of two constant states: one non-positive forx < 0 and one non-negative for x > 0. With a diffusivity of the form|u| , we consider for m > 0 sign change solutions and for m e (-1,0]non-negative solutions. Th...
متن کاملDisturbed critical surface waves in a channel of arbitrary cross section
Long waves in a current of an inviscid fluid of constant density flowing through a channel ofarbitrary cross section under disturbances of pressure distribution on free surface and obstructors on thewall of the channel are considered. The first order asymptotic approximation of the elevation of the freesurface satisfies a forced Korteweg-de Vries equation when the current is nea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004